$$ list.tpl
$$
$$ 断言函数库模板
$$

statement: {a} 是列表？ ->
(listp {a})

statement: {a} 为空？ ->
(null {a})

statement: {a} 的否 ->
(not {a})

statement: {a} 并且 {b} ->
(and {a} {b})

statement: {a}[、{b}]+ 并且 {c} ->
(and {a} [{b}]+ {c})

statement: {a} 或者 {b} ->
(or {a} {b})

statement: {a}[、{b}]+ 或者 {c} ->
(or {a} [{b}]+ {c})

statement: {a}&&{b} ->
(and {a} {b})

statement: {a}||{b} ->
(or {a} {b})

statement: !{a} ->
(not {a})

statement: {a}>{b} ->
(> {a} {b})

statement: {a}全等于{b} ->
(eql {a} {b})

statement: {a}等于{b} ->
(equal {a} {b})

statement: {a}为全局？ ->
(boundp {a})

statement: {a}是数值？ ->
(numberp {a})

statement: {参数}是{类型}？ ->
(typep {参数} {类型})

statement: {a}为连接对？ ->
(consp {a})

statement: {a}为原子？ ->
(atom {a})

statement: {a}为零？ ->
(zerop {a})

